Solving Qualitative Constraints Involving Landmarks
نویسندگان
چکیده
Consistency checking plays a central role in qualitative spatial and temporal reasoning. Given a set of variables V , and a set of constraints Γ taken from a qualitative calculus (e.g. the Interval Algebra (IA) or RCC-8), the aim is to decide if Γ is consistent. The consistency problem has been investigated extensively in the literature. Practical applications e.g. urban planning often impose, in addition to those between undetermined entities (variables), constraints between determined entities (constants or landmarks) and variables. This paper introduces this as a new class of qualitative constraint satisfaction problems, and investigates the new consistency problem in several well-known qualitative calculi, e.g. IA, RCC-5, and RCC-8. We show that the usual local consistency checking algorithm works for IA but fails in RCC-5 and RCC-8. We further show that, if the landmarks are represented by polygons, then the new consistency problem of RCC-5 is tractable but that of RCC-8 is NP-complete.
منابع مشابه
Handling PDDL3.0 State Trajectory Constraints with Temporal Landmarks
Temporal landmarks have been proved to be a helpful mechanism to deal with temporal planning problems, specifically to improve planners performance and handle problems with deadline constraints. In this paper, we show the strength of using temporal landmarks to handle the state trajectory constraints of PDDL3.0. We analyze the formalism of TempLM, a temporal planner particularly aimed at solvin...
متن کاملAcquisition and Propagation of Spatial Constraints Based on Qualitative Information
ÐIn robot navigation, one of the important and fundamental issues is to find positions of landmarks or vision sensors located around the robot. This paper proposes a method for reconstructing qualitative positions of multiple vision sensors from qualitative information observed by the vision sensors, i.e., motion directions of moving objects. In order to directly acquire the qualitative positio...
متن کاملA Qualitative Discretization for Two-Body Contacts
In this work we use contact alignments as quali tat ive landmarks to discretize the relative motion between two 3D objects. We use assembly planning as a sample domain, and address the question of obtaining the assembly blocking graphs f rom the geometry and the motion constraints. Start ing from a geometrical description of the objects we characterize contacts involving topologically distinct ...
متن کاملQualitative constraint satisfaction problems: An extended framework with landmarks
Dealing with spatial and temporal knowledge is an indispensable part of almost all aspects of human activity. The qualitative approach to spatial and temporal reasoning, known as Qualitative Spatial and Temporal Reasoning (QSTR), typically represents spatial/temporal knowledge in terms of qualitative relations (e.g., to the east of, after), and reasons with spatial/temporal knowledge by solving...
متن کاملSolving Complexity and Ambiguity Problems within QualitativeSimulationbyDaniel
chattering region and successor states 4) (a) chatter{box algorithm ° . . . . . ↑ . . . . . ↑ . . . . . ↑ . . . . . ° INF A-1 0 T0 T1 T2 amount (B) ° . . . . . ↑ . . . . . ↑ . . . . . ↑ . . . . . ° INF A-2 0 T0 T1 T2 amount (C) ↑ . . . . . ↑↓ . . . . . ↓ . . . . . ↓ . . . . . ° INF 0 MINF T0 T1 T2 d amount (B) ° . . . . . ↑ . . . . . ° . . . . . ↓ . . . . . ° INF N-1 0 MINF T0 T1 T2 d amount (C...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011